Satisfiability modulo theories - PDFSEARCH.IO - Document Search Engine

Satisfiability modulo theories
Results: 199

#	Item
111	Resourceful Reachability as HORN-LA Josh Berdine, Nikolaj Bjørner, Samin Ishtiaq, Jael E. Kriener, and Christoph M. Wintersteiger Microsoft Research, University of Kent Abstract. The program verification tool SLAyer us Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-05-07 12:02:15 Electronic design automation Formal methods Logic in computer science NP-complete problems Vehicle Identification Number Satisfiability Modulo Theories FO Kripke semantics Theoretical computer science Mathematical logic Logic
112	Anatomy of Alternating Quantifier Satisfiability (Work in progress) Anh-Dung Phan Technical University of Denmark Nikolaj Bjørner Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-06-03 10:03:44 Model theory Logic in computer science Predicate logic Computability theory Metalogic Quantifier elimination Satisfiability Modulo Theories Presburger arithmetic True quantified Boolean formula Theoretical computer science Logic Mathematical logic
113	An SMT-LIB Format for Sequences and Regular Expressions Nikolaj Bjørner Microsoft Research Vijay Ganesh MIT Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-06-03 10:03:44 Combinatorics Combinatorics on words Regular expressions Pattern matching Formal methods Fold Alphabet Sequence Satisfiability Modulo Theories Mathematics Formal languages Theoretical computer science
114	Takustraße 7 DBerlin-Dahlem Germany Konrad-Zuse-Zentrum fur Add to Reading List Source URL: coral.ie.lehigh.edu Language: English - Date: 2011-05-23 10:47:24 Operations research Linear programming Cutting-plane method MPS Reduction Algorithm Solver Boolean satisfiability problem Satisfiability Modulo Theories Theoretical computer science Applied mathematics Mathematical optimization
115	Universidad de Buenos Aires Facultad de Ciencias Exactas y Naturales ´n Departamento de Computacio A study of the Combination Problem: Add to Reading List Source URL: dc.uba.ar Language: English - Date: 2014-11-21 09:25:33 Logic in computer science Electronic design automation Formal methods NP-complete problems Model theory Satisfiability Modulo Theories Satisfiability Boolean satisfiability problem Decision problem Theoretical computer science Mathematics Mathematical logic
116	AVACS – Automatic Verification and Analysis of Complex Systems REPORTS of SFB/TR 14 AVACS Editors: Board of SFB/TR 14 AVACS Add to Reading List Source URL: www.avacs.org Language: English - Date: 2013-02-12 08:10:24 Applied mathematics Logic in computer science Constraint programming Electronic design automation NP-complete problems Interpolation Craig interpolation Satisfiability Modulo Theories Mathematical proof Theoretical computer science Mathematics Mathematical logic
117	νZ - Maximal Satisfaction with Z3 Nikolaj Bjørner1 and Anh-Dung Phan2∗ 1 2 Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-10-16 19:21:04 Formal methods Constraint programming Electronic design automation Logic in computer science NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Linear programming Mathematical optimization Theoretical computer science Applied mathematics Mathematics
118	Adaptable Value-Set Analysis for Low-Level Code J¨ org Brauer1? , Ren´e Rydhof Hansen2 , Stefan Kowalewski1 , Kim G. Larsen2 and Mads Chr. Olesen2 1 Add to Reading List Source URL: people.cs.aau.dk Language: English - Date: 2012-10-25 20:23:59 Intel MCS-51 Microcontrollers ARM architecture FO Satisfiability Modulo Theories Assembly language Theoretical computer science Applied mathematics Instruction set architectures
119	Workshop on Reactive and Event-based Languages and Systems (REBLSCo-located with SPLASH, October 21, 2014, Portland, Oregon, USA Solving Interactive Logic Puzzles With Object-Constraints An Experience Report Using Add to Reading List Source URL: www.hpi.uni-potsdam.de Language: English - Date: 2015-05-08 07:57:20 Software engineering Constraint satisfaction Cassowary Sudoku Backtracking Kaleidoscope Satisfiability Modulo Theories Sudoku algorithms Mathematics of Sudoku Constraint programming Theoretical computer science Mathematics
120	Model Checking Using SMT and Theory of Lists Aleksandar Milicevic1 and Hillel Kugler2 1 Massachusetts Institute of Technology (MIT), Cambridge, MA, USA Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-02-19 15:58:07 Electronic design automation Formal methods Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Phase transition Infinite loop FO Theoretical computer science Mathematics Applied mathematics

UPDATE